sync protocol trans_WrongDirection3 {

parent:
    sync Msg();
    async __delete__();

state S1:
    send Msg goto S1;

start state _:
    recv __delete__;
};
